window: Use gtk_system_setting_change
authorMatthias Clasen <mclasen@redhat.com>
Tue, 21 Apr 2020 20:56:42 +0000 (16:56 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 22 Apr 2020 23:29:15 +0000 (19:29 -0400)
commit129b8bb7f19d2ba35263622fcee6bcc1d8a46da3
tree843e62c19da6d50e3a20f654008d65931452c43c
parent723d57eeb51b1f0977d30c3b6a8ad3533747daa8
window: Use gtk_system_setting_change

Propagate GTK_SYSTEM_SETTING_DISPLAY when the display
of the window changes.
gtk/gtkwindow.c